On the Relation between the - Calculus andthe
نویسنده
چکیده
We construct a translation of rst order-calculus 15] into a subtheory of Felleisen's c-calculus 5, 6]. This translation preserves typing and reduction. Then, by constructing the inverse translation, we show that the two calculi are actually isomorphic.
منابع مشابه
On the relation between the connection andthe loop representation of quantum gravityRoberto
Using Penrose's binor calculus for SU (2) (SL(2; C)) tensor expressions, a graphical method for the connection representation of Euclidean Quantum Gravity (real connection) is constructed. It is explicitly shown that: (i) the recently proposed scalar product in the loop-representation coincide with the Ashtekar-Lewandowski cylindrical measure in the space of connections; (ii) it is possible to ...
متن کاملThe Relationship Between Patients’ Perceived Health Status and Trust Propensity With Privacy Calculus
Background: Patients need peace of mind to disclose their information to medical staff and with the lack of trust or in specific health status, they may avoid providing sensitive information for their care or might change the information. This research aims to examine the impact of perceived health status and trust propensity on privacy calculus. Methods: This research was analytical-study. 3 ...
متن کاملThe Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملPost-anthesis changes in internodes dry matter, stem mobilization, and their relation to the grain yield of barley (Hordeum vulgare L.). Mohsen Abouzar1, Maryam Shahbazi2*, Sepideh Torabi1, Hamid Reza Nikkhah3 and Soheil Nadafi2
Making an increase in the yield of agricultural plants including barely is considered as the main challenge for researchers in agriculture related sciences. Water-soluble carbohydrates transport and source–sink relations have a significant effect on the grain yield. This study was carried out in order to examine genotypic variation of storage and remobilization ability of carbohydrates in eight...
متن کامل